Nisan-Wigderson generators in Proof Complexity: New lower bounds

Erfan Khaniki (IM CAS)

14-Mar-2022, 15:00-16:30 (4 years ago)

logic

Audience: researchers in the topic


IM CAS logic seminar

Organizer: Neil Thapen*
*contact for this listing

Export talk to